Skip to content

Conversation

magik6k
Copy link
Collaborator

@magik6k magik6k commented Aug 8, 2025

This PR has some fixes:

@magik6k magik6k requested review from LexLuthr and snadrus August 8, 2025 20:26
@snadrus snadrus merged commit 765b0df into main Aug 9, 2025
17 checks passed
@snadrus snadrus deleted the fix/magik-fixes branch August 9, 2025 00:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants